How to read lines from a file into an array in bash shell script